141. Formal specification and documentation Using Z: a case study approach
Author: Bowen, Jonathan Peter
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
Classification :
QA
76
.
73
.
Z2
B68
1996
142. Formal specification and documentation using Z : a case study approach
Author: Bowen, Jonathan
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Z )Computer program language( , Computer software - Development
Classification :
QA
76
.
73
.
Z2
B68
1996
144. From epiphany to familiar :
Author: Lewis, Jonathan Francis Geoffrey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
145. From epiphany to familiar :
Author: Lewis, Jonathan Francis GeoffreyLewis, Jonathan Francis Geoffrey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
146. Gale encyclopedia of world history :
Author: editori
Library: Library of Islamic Parliament (Tehran)
Subject:
147. Growth factors in biology and medicine.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cell proliferation, Congresses.,Cells-- Growth-- Regulation, Congresses.,Growth factors-- Physiological effect, Congresses.,Growth Substances-- physiology, Congresses.
Classification :
QP801
.
G74
G76
1985
148. Gulliver's Travels
Author: /Jonathan Swift
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject:
149. Handbook of health behavior change /
Author: edited by Kristin A. Riekert, Judith K. Ockene, Lori Pbert, PhD
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Health promotion,Behavior Therapy,Health Behavior,Health Promotion,Patient Compliance
Classification :
RA776
.
9
.
H36
2014
150. High-integrity system specification and design.
Author: Jonathan P Bowen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Databehandling,Systemutveckling
Classification :
QA76
.
9
.
S88
J663
1999
151. Hot topics in infection and immunity in children.
Author: Nigel Curtis, Adam Finn, Andrew J. Pollard, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Children-- Diseases-- Immunological aspects.,Communicable diseases in children.,Infection in children.,Child.,Communicable Diseases-- immunology.,Infections-- immunology.,Virus Diseases-- immunology.,Communicable diseases in children.,HEALTH & FITNESS-- Children's Health.,Infection in children.,MEDICAL-- Pediatrics.
Classification :
RJ401
.
H68
2011
152. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
Author: Louise Gerdes, book editor.
Library: Library of Islamic Parliament (Tehran)
Subject:
154. Includes bibliographical references and index. 0
Author: / Kecia Ali & Oliver Leaman.
Library: Library of Islamic Parliament (Tehran)
Subject:
155. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
156. Includes bibliographical references (p. 375) and index. 0
Author: Brian M. Fagan.
Library: Library of Islamic Parliament (Tehran)
Subject:
157. Includes bibliographical references (p. 345-380) and index. 0
Author: James E. Baker.
Library: Library of Islamic Parliament (Tehran)
Subject:
158. Includes bibliographical references (p. 225-231) and index. 0
Author: Andrew Green.
Library: Library of Islamic Parliament (Tehran)
Subject:
159. Includes bibliographical references (p. [264]-283) and index. 10,Westport, Conn. :
Author: Derek Mackay. ,Anthony Cordesman.
Library: Library of Islamic Parliament (Tehran)
Subject:
160. Industrial-Strength Formal Methods in Practice
Author: edited by Michael G. Hinchey, Jonathan P. Bowen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
F67
E358
1999
